Published in: OASIcs, Volume 21, 1st Symposium on Languages, Applications and Technologies (2012)
Ulisses Araújo Costa, Daniela da Cruz, and Pedro Rangel Henriques. Automatic Test Generation for Space. In 1st Symposium on Languages, Applications and Technologies. Open Access Series in Informatics (OASIcs), Volume 21, pp. 185-203, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{costa_et_al:OASIcs.SLATE.2012.185, author = {Costa, Ulisses Ara\'{u}jo and da Cruz, Daniela and Henriques, Pedro Rangel}, title = {{Automatic Test Generation for Space}}, booktitle = {1st Symposium on Languages, Applications and Technologies}, pages = {185--203}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-40-8}, ISSN = {2190-6807}, year = {2012}, volume = {21}, editor = {Sim\~{o}es, Alberto and Queir\'{o}s, Ricardo and da Cruz, Daniela}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.185}, URN = {urn:nbn:de:0030-drops-35234}, doi = {10.4230/OASIcs.SLATE.2012.185}, annote = {Keywords: Automatic Test Generation, UML/OCL, White-box testing, Black-box testing} }
Feedback for Dagstuhl Publishing